When the German Navy Played Football in 1945