import de.dhbwstuttgart.typeinference.Menge; class Matrix extends Menge<Menge<Integer>> { mvmul(Menge<Integer> v) { i; ele; v.add(1); while (i < v.size()) { ele = 5 + v.elementAt(i); } } }