Update: Columbus is niet bereikbaar op 22/11 vanaf 12u

Door vertragingen is de technische update van het Columbusplatform uitgesteld tot woensdag 22 november om 12u.