Istarska enciklopedija (2005)
Arsenal → Pomorski arsenal u Puli ...