mp3 player with adjustable speed and pitch correction

[Joachim Reichel <joachim.reichel@gmx.de>]

Hi,

I'm looking for an mp3 player that allows to adjust the speed, but haven't been
successful so far.

audacity: requires preprocessing (and is not really a music player)
amarok: the developers tagged #103895 as wontfix
vlc: allows only fixed multipliers (like 0.5x/1x/2x)
noatun: restarts song from beginning on every change

Is there any music player that allows to adjust the speed by any factor between
half and double speed, at any point during playback, without preprocessing,
without restarting playback from beginning, and with pitch correction?

Joachim

P.S.: Please CC: me on replies.