Es gab in letzter Zeit immer wieder Probleme beim Kommentieren. Ich hoffe, das hat nicht zu viele abgeschreckt.

Jetzt ist der Bug jedenfalls behoben und müsste alles wieder klappen.