They would opt to “Heil Führer” or something. There are other ways to refer to someone than their given name but it’s a fun fact indeed, thanks for sharing!