@Bertel_68: Ah gut, das kann natürlich auch sein. Jedenfalls vor meiner Zeit.