think of how big germany would be right now