Ok, so my USB harddisk had some kind of crash en the filesystem has been replaced by a clean one, effectively wiping out the 40 gigabytes of MP3’s I used to have. Recovering (which is possible) will take about a week. I can start on it as soon as I have more harddisk space in my computer to restore to…