Den 30 Oktober var också för Mulhouse en festdag.