Exhumation of high-grade rocks in the Saxo-Thuringian Belt: geological constraints and geodynamic concepts