Thanks for the pointer. I came to really like VLC, but only as a video player. For speeding up audio, I prefer a player with a better UI (showing the current speed, being able to quickly change it to back to 100% speed and speed it up to the previous speed again, ...).