Het marinedok (Industriehaven ong.), ook ‘Het Groote Dok’ genoemd, werd in 1628 aangelegd als verlenging van de haven en diende voor de winterberging van oorlogsschepen. De tussen dok en haven gebouwde sluis werd in 1671 vergroot en in 1802 verbreed.
De in 1881 over de sluiskom gelegde dubbele ijzeren draaibrug werd geleverd door de firma ‘De Prins van Oranje’. De timmerwerf en de magazijnen aan de westzijde zijn later vernieuwd.
De voorm. kuiperij annex grootmagazijn (Industriehaven 8-12) dateert in de kern uit 1786 en kreeg rond 1860 deels een verdieping, terwijl het tweelaagse deel werd opgehoogd. Sinds 1963 huist hier het brandweermuseum.
De met eclectische details uitgevoerde toegangspoort aan de westzijde is uit circa 1880.
