Zustand eines Objektes = Belegung seiner Attribute
Zustand erschwert Programmanalyse und -Verifikation (muß bei jedem Methodenaufruf berücksichtigt werden).
Abhilfe: Trennung in