Translation of "Reactor trip" in German