October 3 marks der Tag der Deutschen Einheit—the day of German unity—when, in 1990, East Germany ceased to exist, ...