"partial pre-stressing" Deutsche bedeutung