what are the names of all the bells?
maria, carolus, johannes evangelista, johannes baptista, leopardus, stephanus, petrus, simeon
of these, which one weighed 425kg?
petrus