JPRS (series). 9235. Some achievements of Department of Photogrammetry of Cartographic Enterprise of Hungary.