"prestressing cable" Deutsche bedeutung