Oslo Rådhus - Den kunstneriske utsmykking Danmark på film