The tier 2 'mirror.erickochen.nl' will shutdown this week.
It was a pleasure.
Best,
Eric Kochen
Hi, thanks for offering your mirror for this time and thanks for
letting us know. The mirror has been removed from the listing.
Regards,
Arun