Tag 'operator = Daniel Lehmann'