Hrvatski opći leksikon (2012)
bojni brod, džepni, popularan naziv za tri njem. ratna broda izgrađena 1930-ih (Deutschland; Admiral ...