The helium-cooled high-temperature reactor in the Federal Republic of Germany: safety features, integrity concept, outlook for design codes and licensing procedures