Dear user of ftp.gwdg.de, we will have a scheduled downtime for FTP

at June, 30th from 4am approx. till 1pm