uppgifterna derom äro gräsliga.