Proof bei CS3 wird nicht gespeichert