Marks & Spencer (group relief): HMRC’s “lesser of” quantification method rejected