Start work on assignment 4

	- Aufgabe 1:
		- Die operationelle Semantik sollte inhaltlich so
		  richtig sein. Sieht aber scheiße aus, vielleicht kann
		  Martin das noch schöner zaubern.
		- Bei der Reduktionssemantik bin ich mir nicht ganz
		  sicher. Der Gedankengang sollte richtig und
		  nachvollziehbar sein, bei der Notation bin ich ein
		  bisschen ins Schwimmen gekommen.
	- Aufgabe 2:
		- Die operationelle Semantik dürfte vollständig sein,
		  vielleicht sogar ein bisschen mehr als gefragt.
		- b) und c) überlasse ich euch ;)