In Matrix.jav Binary-Operation eingefuegt. new file: test/javFiles/Meth_Gen.jav new file: test/typeinference/Meth_GenTest.java Test zu Constraints ueber eine Methode hinaus