Dateiendung beim speichern
Prolog überspringen
Merge origin/master

Conflicts:
	src/de/vp/PrologGUI.java