Ein Wärmetauscher, in dem mittels des heißen Kühlmittels aus dem Reaktor Dampf für die Turbinen erzeugt wird