How to play internet radio stations in the Music app on iOS 13?
My guess is that it has something to do with your location. I'm in the USA and when I searched for "hr3" in the Music app it immediately showed that station you are looking for as a result. Maybe TuneIn only works with the Apple Music app in some countries?