@Moss_the_TeXie Nee. Denke eher, da hat jemand vermeiden wollen zweimal dasselbe Wort zu schreiben.

Comments