anchor.diff:  
   Eine bennante Menge von benannten Elementen
   
  -- Müssen nicht vom gleichen Typ sein
   - Die Reihenfolge der Deklaration ist nicht relevant
   - Ist kein ad-hoc Typ
   
   ' Wichitg: es ist auch nur ein Tuple, ein multiplication type
  +
   
   ---
   ### Record: Deklaration
  
positive.code:         else
              "Ja das darf der Kotakt"
  
  (**
  
  ' Zeigen. Type Inference funktioniert wirklich: Kontakt wird erkannt, kein Rückgabetyp da dieser auch vom Compiler erkannt wurde (kontakt:Kontakt -> string)
  
negative.code: ### DU: Nutzung
  
  - DU für die Darstellung von Zuständen/Übergängen
  - Alle Fälle abdecken zu müssen führt zu wengier Fehlerfälle
  - Schnell erstellt!
  
  ---
  