please don't merge, I'm testing jenkins pull request builder

Jens