die installiert Mavericks mit. Das ist ja nur eine unsichtbare Partition deiner HD und hat ja mit deinen 'eigentlichen' Daten nichts zu tun und dient nur dazu im Notfall den Rechner starten zu können.