NRK-journalistene fornøyd med at streiken er over