Okay, jetzt wird es echt peinlich für mich; ich bin jetzt selbst ins Grübeln gekommen und habe mal nachgeschaut. Und siehe da: ET42. Ich hatte die 35 im Kopf, weil ich das ursprünglich haben wollte, es aber nicht passte. Sorry, tut mir leid, mein Fehler. Ich nehme alles zurück und behaupte das Gegenteil ;-).
