Tag 'operator = Martin Schmidt'