Merge https://github.com/devhub-tud/devhub into mocked-server