Tag 'operator = Stern+Kreis'