Entschuldigt bitte die Umstände! Mir ist gestern noch ein Fehler im Auto-Updater aufgefallen. Das hatte ich getestet und dann hatte es funktioniert. Natürlich ist dieser Fix leider nicht in im normalen 5.7.18 Release vorhanden 
Entweder ihr updated einmalig manuell oder ändert folgende Code-Zeile in eurer 5.7.18 Installation:
Viele Grüße aus Schöppingen
Michael Telgmann