Rijkswerf aan de Westgracht toen (foto den Helder aan Zee)