iPad pro wil niet updaten naar 15.01 en 15.02

Mijn iPad Pro (12,9 inch, 2e generatie, software 15.0) wil niet updaten. Via wifi krijg ik te horen dat het zoeken naar updates is mislukt (meer dan 10 keer geprobeerd). Via een snoertje met de Mac (Finder) opnieuw een probleem. Dan lees ik: de iPad kan niet worden bijgewerkt. Er heeft zich een onbekende fout voorgedaan (4000).

Dankzij hulp van Apple opgelost via herstelmodus.