Revert "Martin Jehle"

This reverts commit 7c2d9937b6d8614564f627109472a94b90bdf2ad.