Well, in the meantime I have found a solution: I remembered that I also used the same wallet on another PC, with an earlier version of MultiBit, which didn't have password protection yet. I've checked it and indeed, the bitcoins were there and available. From there, the rest was easy.
Still, thanks for your answers.