Version 0.1.2 of the KabelDeutschland streaming proxy