Tyska örlogsflottan räknar 13 pansarskepp,