Danke, die beiden kannte ich noch nicht! Habe mich kaum getraut, bei "search a whale" meinen Nutzernamen einzugeben - befürchtete die Disqualifizierung wegen Blasphemie. Oder irgendeinen anderen Informatiker-Trick, die haben ja im Allgemeinen einen bizarren Humor ... aber nein: es hat geklappt :-D