Merge branch 'hausnetz2' of https://github.com/groovehunter/ghc into hausnetz2
Merge branch 'hausnetz2' of https://github.com/groovehunter/ghc into hausnetz2