Kalte Sophie und Co.: Wer sind die Eisheiligen überhaupt?

Vom 11. bis 15. Mai stehen, wie jedes Jahr, die Eisheiligen an: Mamertus, Pankratius, Servatius, Bonifatius und die kalte Sophie. Wer sind «die» überhaupt? - In 60. Sekunden seid Ihr schlauer...