Klicken Sie auf den Link '2017-WS01-BBCmicroBit.zip', um die Datei herunterzuladen.