My blog has been moved to blog.zottmann.org.