What does ein diutscher mean