“Mathilde zingt” in Eindhoven