per curiosità, quanto è il diametro esterno del corpo?