I then found out, contrary to all I had been expecting, there is no "Hitler Order".