Ich wurde gerade per E-Mail gefragt, ob ich ein Tool kenne, mit dem man Videos aus der ZDF-Mediathek herunterladen kann.