and prefer the usual name of Cambodia to Khmer. Problems reported by Robert Vollmert <rvollmert@gmx.net>.