Gas flow with phase transitions: thermodynamics and the Navier-Stokes equationsдоклад на конференции