This blog moved to http://christophdietze.blogspot.com

I decided to consolidate my blog sites, so in the future I am only going to post stuff on this site. I copied the two posts from this site over there including the zero comments. So, actually, there is little reason for browsing this site.