stuff for uni module se3 Logikprogrammierung