"3"^^ . . . . . . "pumped divertor"@en . . .