It is no longer needed. You can directly grab the URLs in JSON format from http://www.ardmediathek.de/play/media/${DOCUMENTID}?devicetype=pc&features=flash - even HTTP ones but also rtmpdump (>=2.4) keeps working just fine.