Did you know that the battleship Bayern was the first German warship to mount 15 inch guns?