pansarfartyg “ Richelieu , , , som låg vid sjöarsenalen.