IJssportcentrum Eindhoven hoeft tóch niet dicht, exploitant gevonden en gemeente draagt bij