Saken förhöll sig emellertid så,