Tag 'operator = Juan Dietrich Lange'