Wie groß sollte die Auslagerungsdatei sein Windows 7?