underrättade stortingets kontor derom.