steam-jacketed