Denmark officially in recession