Das Freischwimmbad Tivoli musste evakuiert werden.