Der Server pad.stura.tu-dresden.de zieht auf den neuen Server um. Der Dienst steht ab Samstag wieder zur Verfügung und ist ab diesem Tag öffentlich erreichbar.
Update: der Umzug konnte vorzeitig abgeschlossen werden. der Server steht ab sowort weltweit unter https://pad.stura.tu-dresden.de zur Verfügung.