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


[1] http://files.basex.org/releases/latest/
[2] https://github.com/BaseXdb/basex