[Thor Joachim Haga]

I think we have something similar in Norway – ‘kunstmusikk’ (art music) as separate from ‘underholdningsmusikk’ (entertainment music) or pop(ular) music. There’s also the term ‘bruksmusikk’, which is taken from the German ‘gebrauchsmusik’ and often used on film music. The latter somewhat derogatorily, perhaps, but it is technically correct.