Frame-Problem

==> Schliessen mit Standardannahmen

<=> Alltagsschließen

<== Planen