Deutsche Könige, römische Kaiser - Pohl, Walter