Title: The Pebble bed high temperature reactor as a source of nuclear process heat