1. (manufacturing) hot pressing