Feature Request: configurable playback speed

Hi,

I would like to record the playback and use it as route animation for videos. But the playback is so slow, it would be nice to have configurable playback speeds.

Greets
Hendrik