@drikkes Eigentlich ist es ja schon Zeit zum Mittagessen, aber wegen Umlaut-Codierung muß ich jetzt frühstücken. 5 days ago