Okay, my post is back again... for whatever it’s worth (and it wasn’t worth that much anyway... :-)
My “remove post” button got stuck ;)