The gamelan degung of the Bandung Studios of Radio Republik Indonesia