Enligt hvad det redan upplysts,