alltså tillsammans 19 pansarlinieskepp.