add 'Überführungsrelation', change 'Kellerautomat'