"prestressing jack" Deutsche bedeutung