The long pause between posts is not entirely my fault. In the past days there have been also some (a lot) of hardware related problems on the server that my site is running on … I think there have been at least two migrations … or was the second one an upgrade … well it does not matter.