Stimmt - jetzt, wo du es schreibst, fällt es mir auch wieder ein. Und es sieht so aus, als wäre der Benutzer immer noch aktiv, zumindest sporadisch. Vielleicht sollte man ihm eine Nachricht auf seiner Disk hinterlassen. Danke jedenfalls für den Tipp! -- Berossos 21:45, 9. Jan. 2019 (CET)