E-varieties of regular semigroups, relatively bifree objects and fully invariant congruences. M. Mangold — 1995 Semigroup forum