Klaus D. Tangermann (compilador)