The Theorema home page has been already moved.