MINIX maddin_disk_format.html Disketten formatieren unter Linux
