Thanks for your help. You guessed right. I had diabolo repositories enabled, because I thought this is the right repo to install. Switching to chinook solved the problem.

The software version is 2.2007.51-3. Is it necessary to re-flash the device to upgrade to a newer version?
Do you think it would be useful to do that?