Created LaTeX version of Schnittstellendefinition_HAL.