fälttjenstöfningarna i Norge den 25 — 30 dennes.