Tag 'operator = Florian Demmel'