15 days later I finally got enough time and another sdcard to try it again. Confirmed: the problem was the old sdcard. Sorry for the false alarm. Or let's be optimistic, a false positive is better than a real bug. :-)
Thanks guys!
Contributions to the project are always appreciated, so if you would like to support us with a donation you can do so here.
Hosting provided by Mythic-Beasts. See the Hosting Information page for more information.