Tag 'operator = Reiner Richter'