Duitse marine zoekt vervanging voor 8-inch floppy drives