Is the ewi546.ewi.utwente.nl server down ?

I would need to fetch some packages from http://ewi546.ewi.utwente.nl/OE/ is there a mirror ?

did I mention I'm looking for a snapshot ? ooops, I didn't... Is there a snapshot mirror on vanille ?