anchor.diff:  printf "r = %s | " r
   printf "r' = %s" r'
   (*** define-output:Record-PatternMatching0 ***)
  -printf "r'' = %s |" r''
  +printf "r'' = %s | " r''
   printf "r''' = %s " r'''
   (** </div> *)
   (*** include-output: Record-PatternMatching ***)
  
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: Deconstruction & Pattern Matching
  
  - viereck im Beispiel hatte den Type Figur, nicht Figur.Viereck!
  - Ich kann von außen nicht wissen welche union case ein DU-Wert darstellt
  - Nur Pattern Matching erlaubt es mir dies zu erfahren
  - Deconstruction *muss* für *alle* Fälle erfolgen (Exhaustivness)
  