The problem; adding audio http streams to TVHeadend to be able to run them on KODI

I wanted to pickup http streams in KODI. This can be done directly offcourse, but they will not show up in the "Radio" section of KODI. This because the "Radio" section is a view of the radio stations offered by the PVR. I want to do this, because at our home we use Music Pump as a remote and I want to add radiostations in a consistent way, so that the rest of the family does also accept this setup. The problem is, TVHeadend only recognises MPEG-TS streams, and no aac, mp3 etc. This means we have to convert it.

‘Smart city’ is a buzzword, a term that is still quite a fuzzy concept and is used in a variety of ways. Definitions range from the simple city that “has digital technology embedded across all city functions” (Smart Cities Council) to the more detailed city that “brings together technology, government and society to enable the following characteristics: smart cities, a smart economy, smart mobility, a smart environment, smart people, smart living, smart governance” (IEEE Smart Cities). We asked Guus Derks of the Netherlands Enterprise Agency for his take on smart cities.