You need a version of curl ≥ 7.21.0 for having that feature on board.
These are sample command lines for this job:
$ playpath='mp4:videoportal/mediathek/Polizeiruf+110/c_120000/126955/format130594.f4v'
$ curl "rtmp://VOD.DasErste.de app=ardfs/ playpath=${playpath}" \
-o "Polizeiruf_110--Aquarius.mp4.flv"
Update / 2010-07-10:
My commentator apparently experienced problems with that. I have to assume, he didn't download 7.21.0 from its usual place.
Update / 2010-07-10:
My commentator apparently experienced problems with that. I have to assume, he didn't download 7.21.0 from its usual place.