Stav dette: Rijkswerf Willemsoord