#germany #german realm #deutsches reich #german territory #holy roman empire