This page has moved to /blog/hartmut-lentz-talk/.