K 10 svn:author V 6 gerald K 8 svn:date V 27 2017-03-06T23:13:57.397055Z K 7 svn:log V 130 fht-esslingen.de is now hs-esslingen.de, change this globally. (The old name still works, so no mirrors were broken even before.) END