Package: mediathekview

"mediathekview" package binaries on Debian:

/usr/bin/mediathekview /usr/share/mediathekview/bin/flv.sh

You may install this package on Debian with apt-get install mediathekview