OK, Danke. Mich hätte es auch gewundert, wenn es anders wäre, als wie Du es beschrieben hast.

PS: Kann man die posts hier eigentlich editieren, und wenn ja, wie? Bei meinem letzten post ist nämlich ein Halbsatz zuviel stehengeblieben.