"Automationstheorie {f}" Englisch