Tag 'operator = Michael Lindenbacher'