I think I got it (sadly). As Hulkmania described, this procedure is based on “Convert Copy Protected WMA files to MP3, WAV, or Vorbis with...
Separate names with a comma.