The Hålogaland Theatre Upgrades with DPA Microphones