Naval port Den Helder, old and new situation