Tag 'operator = Reinhard Benzmann'