Saken förhällor sig sålunda: