Tag 'operator = Kristof Biehl'