Pomorski leksikon (1990)
arsenal, pomorski (arap. dar-as-singh), radionice i skladišta za gradnju, popravak, održavanje i opremanje ...