RIPE NCC service outage update, 17 December 2008