Entschuldigung dafür. @zogstrip arbeitet an einer Lösung, es sollte nicht lange dauern.
@RalfJung, lass uns hier kurz innehalten. Sobald unsere Lösung bereit ist, können wir bei Bedarf weiter debuggen, falls dein Problem dadurch nicht behoben wird.