Tag 'operator = Ralf Bayer'