#include <stdio.h>
int main() { return 0; }
int zähler() { return 0; } // umlaute is an unknown char for gcc