I korthet hafva vi redan omnämt,