redundante Auslegung der Automatisierungstechnik