In case you didn’t know, our host experienced a bad hard disk failure and lost everything (his, ours, everything). A backup from late June was imported, but I have now moved everything over to the new site:
Update your bookmarks! I will probably turn off this (old) site in a few weeks.