Merge branch 'wosch' of ssh://git.indexdata.com:222/home/git/private/mkws into wosch