Although I have some days off, I'm rather busy with doing maintenance in the
house and garden, and have only little amounts of time free. There are quite
some posts I'd like to reply to, and additional topics I should write about,
but I can't find enough time right now. Sorry for temporary radio silence!
