Webserver problems resolved

Fortunately, our host got the web server back up pretty fast. The motherboard died, and it had to be changed, then there were a few problems with the Linux kernel not booting, but everything is back up, with no loss of data and relatively minor downtime (only a few hours).