Ziele: Berechnungen in benachbarten Kontexten verstehen
in der Vorlesung: Pattern-Instanziierungen als Berechnungen im Baum erklären.
