Tag 'operator = Friedemann Baumgardt'