» Det norske gardeskompani » och derefter » Det norske gardeskarpskyttekompani ».