2018-01-01: some hosts have been moved from *.isor.univie.ac.at to *.vdc.univie.ac.at