The board packages used for this can be installed through Tools -> Board -> Board Manager -> Arduino nRF528x Board (Mbed OS).
Die dafür verwendeten Boardpakete können über Tools -> Board -> Board Manager -> Arduino nRF528x Board (Mbed OS) installiert werden.