VDRdevel 1.7.15 + dxr3-plugin