Finally solved, at least for me.
Since the files for xbmc-bin seem to be missing in the repository, I used the brute force method. Copied the image on the SD-card and then merged in the changed files from the image of the broken SD-card where everything was installed.
Everything seems to work.