Matthijs de Ligt wechselt zu den Bayern.