DVB-T: codec and bitrate used for audio only broadcast

Here in slovakia DVB-S and DVB-T are MPEG-1 layer 2 (i.e. .mp2) audio sampled at 48000 Hz with mostly 192 kbit. After doing my recording I can demux it using apps such as PVAstrumento or DG index, then cut / edit using mp3 direct cut and then play / convert / whatever using Foobar 2000.
At least this is my use case.