Vitesse officieel gedegradeerd uit de Eredivisie