Enligt vår mening ligger saken sålunda: