Tag 'operator = Ralf Spillner'