The PLATON demo server has moved

Please see https://platon.strickroth.net/ for more information on the PLATON project and the address of the current demo server.