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