How to record radio.de streams
RecStreams can easily record streams from radio.de automatically
This video shows how to download from twitch.tv, but the steps are the same for all sites including radio.de.
Step by step guide
A new window will pop up, select a name to identify the stream and paste the link. Also select the video duration and video format.