the work one must do these days to avoid spam... Hmm, my provider's autorepliers seem to be broken. I turned them off now.