"prestressed" Deutsche bedeutung