adding arago.de to former location hosts