> renaming Hitler to Mr. Heiler I don't know if it's the same Wolfenstein but I was somewhat amused to read, or see on Youtube, recently they renamed Himmler t

> renaming Hitler to Mr. Heiler I don't know if it's the same Wolfenstein but I was somewhat amused to read, or see on Youtube, recently they renamed Himmler to Hoeller. (Himmel being heaven in German, and Hoelle being hell.)