12 GB kommt gut hin. Man sollte mit 15 GB rechnen, also wenn Dateien ausgelagert werden.