Today is Columbus day in the States, but of course not in Luxembourg. One of my classes ends next week, so there is the usual “end of the semester” rush. Aside from a run to the supermarket, I have nothing interesting to report, alas.