Eredivisie 2019/2020 has ended, there will no promotion or relegation – Dutch Football Association