XVSM:
Ableitung scheisse: Pizza<->PizzaOrder wegen Template-matching
DELETE-LOCK -> Congestion
keine primitiven datentypen für template-matching