Tag 'operator = Andreas Roggenbach'