Jeg skjønner at NRK må fornye seg. Men er det nødvendig å rasere hovedsendinga i distriktene til 5 minutter?