De Sint komt voor het eerst na de oorlog aan in Eindhoven