Dermed förhöll det sig på följande sätt: