Tag 'operator = Dohrn + Timm'

External: tag info