Tag 'operator = Henrik Lehmann'