The Anglo-German naval arms race in a nutshell