ma i gdr di mario, che cosa sono?