The back story of Jean Tinguely’s Chaos I and the Columbus Pump House