Pan-type mixers, i.e. mixers in which the stirring elements move along the bottom of a pan-shaped receptacle