ist von Zeit zu Zeit eine manuelle Formatierung der Partitionen sinnvoll, oder sollte man generell die Finger davon lassen?