Holy shit. I never made the connection with Otto Normalverbraucher. Thanks for making me click with this little piece of German trivia on the day German history was made! :)