Manufacturing of ceramic cores: From hot injection to 3D printing. (20th January 2023)