2016-04-25T15:50:05 GwenDragon

Dann lösche doch einfach das "gelöschte" nochmals mit rmdir.

Dieser pragmatische Ansatz ist mir auch schon gekommen. Wenn's anders nicht geht, werde ich's auch so machen.