anchor.diff:  ---
   ### DU: Deconstruction & Pattern Matching
   
  -- rect im Beispiel hatte den Type Shape, nicht Shape.Rectangle!
  +- 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)
  
positive.code: 
  *)
  
  let viereck = Viereck(length = 1.3, width = 10.0) // ACHTUNG, Welchen Typ hat rect?
  let kreis = Kreis (1.0)
  
  (**
  
negative.code: printf "r = %s | " r
  printf "r' = %s" r'
  (*** define-output:Record-PatternMatching0 ***)
  printf "r'' = %s | " r''
  printf "r''' = %s " r'''
  (** </div> *)
  (*** include-output: Record-PatternMatching ***)
  