Tag 'operator = Martin Niklaus'