Ok, it was a bad floppy after all, but that still puzzles me as the md5sum checked out. But when I tried yet another floppy it worked like a charm.