Whitley, Mike J.: Deutsche Großkampfschiffe