Wer formatiert bei so einem Miniproblem die Festplatte?