What does Borel-Gruppe mean?

Borel-Gruppe - German to English

Borel group