Tag 'operator = Jochen Hintze'