Wie hoch war damals die Eigenheimzulage?