Bugs gefixt.
Invarianten-Tooltip in Collaboration Diagram hinzugefügt.
Refactoring bei Kontraktfehlermarkern