Germany's high sea fleet in the world war.