Pressure-cookers; Lids or locking devices specially adapted therefor adapted to high-frequency heating