Equivalence ruling of BGH: ‘Equivalent means’ in case Crane arm