af allt detta finner man alltså,