No exact translation found for "Dimensionssatz"