@Eigenbrodtm Nein, der Betreffende war deutlich über 70. Hoffen wir, dass er wenigstens nicht Schriftsetzer von Beruf war …