Menge<b> Menge<Menge<a>> /* Nach Sub_unify <? durch <. ersetzt dadurch TPH b <. Menge<a> FUNKTIONIERT !!! */ /* muss noch nac der 2. Menge angepasst werden PL 07-08-03 class Number {} class Integer extends Number {} class Menge<a> { } class Matrix extends Menge<Menge<Integer>> { }