har John Ericssons undervattensbåt » Destroyer » , byggd 1883 , inköpts.