Merge branch 'Hagen'

…to have everything on the master again.