TODO List

[X] Pull recent code changes
[X] Test if code compiles
	- If not, fix it
[X] Implement Error checking thread
- Possibly test error checking thread
[X] Remodel FSM
	- remove the unnecessary wait_<* States
	- Maybe replace "wait_*Delay" by a single "wait" Input
	- Make FSM completely specified

[X] Make presentation
	- Motivation
	- Present SUT-Wrapper for Positioning
		- Structure of the SUT (The 3 Threads)
			- pos_main
			- sut
			- error checker
		- SUT-Interface (sut_init(), sut_reset(), sut())
	- Present new edition of the FSM
		- And its problems