Hot Chip at Tivoli Vredenburg (October 5, 2022)