(für die Jüngeren: Das war so ein Freizeitpark-Horror-Ding aus den Siebzigern, auch von Michael Crichton, nur mit Robos statt Dinos ) .