Puinruimen in Eindhoven na ouderwetse Koningsdag: 'Niet zo erg als met carnaval'