Moved the server on new hardware.

The migration process did not cause any problems, all data has been moved.

The redirection from the old to the new server for those computers still using
the old DNS information was interrupted for an hour this morning because I had
other (more) urgent work to do.

The new server has roughly twice the CPU power and twice the memory.
Probably this website is a bit faster now.

If you have any problems with the new server let me know.