är enligt denna framställning i korthet följande: