Text this: Development aspects of a high temperature heat pipe heat exchanger for high temperature gas-cooled nuclear reactor systems