whatever was broken
whatever....
Merge branch 'attempt3' of https://github.com/radke-tum/idp.git into
attempt3

Conflicts:
	pssif/psiff.viz/src/main/java/graph/model2/MyNode2.java
Merge branch 'attempt3' of https://github.com/radke-tum/idp.git into attempt3
Merge