Denna sammanfattning lyder sålunda: