Berlin

I'll be working in Berlin for the next six months or so, starting Monday, getting back to Munich as often as possible. This is awkward, but makes some other things possible.

Even more than usual, this means that people need to help themselves with my various open-source projects. Patches will be reviewed and committed, and test cases will be pondered during 6 hour train journeys.