@Floh: kleine Anpassung in der EditorGUI.java gemacht (Restliche
Anpassungen die durchgefuehrt werden sollten/koennen sind kommentiert)

Deck Funktionalitaeten erweitert:
	Methode gibKarte(String kartenBezeichner)