Vielen Dank für eure Hinweise und für eure Geduld.

Die Reparatur hat leider einen Moment länger gedauert, weil da mehrere technischen Abhängigkeiten bestanden, die ich umschiffen musste, aber es sollte nun wieder funktionieren.