Due to updates to PHP I have been forced into updating the backbone of this website (i.e. the WordPress installation). Since I have a few custom modifications to the site, there might be a few hours of unscheduled downtime over the next couple of weeks. I apologize for this (but the alternative would be to take the site down, which is not really a better option…) I hope you will have patience.