Eigentlich ist ja der 3. Oktober, der Tag der Deutschen Einheit. Man mag dazu stehen, wie man will. Aber was…