Sehr geehrter Herr Hillert,
der Fehler ist entlarvt und behoben. Wir werden heute Mittag einen neuen
Snapshot im Repository bereitstellen [1], der die Korrektur enthaelt.
Falls sie Git benutzen - der aktuelle Repository-Stand reflektiert ebenfalls
die Aenderung [2].
Einen schoenen Tag noch, Gruesse,
Lukas