What does "zechstein" mean?

Zechstein: The upper division of the Permian (Dyas) of Europe. The prevailing rock is a magnesian limestone.

Sources