selected publications academic article Execution and results of leak rate determination of the THTR-300 prestressed concrete PV 1983