lehre:fsm_18ws