Norway: Intensified struggle against Dutch Elm Disease in Oslo