Wie hoch sollte die Instandhaltungsrücklage sein?