[tugg]

@Dieter

Das wär ja ein Ding! Dagegen spricht, dass es nicht schon immer war, aber vielleicht täusch ich mich.
Kann leider gerade nicht nachgucken, aber bei nächster Gelegenheit kriech ich drunter.
Danke!
Uwe