bigr/map1 — pull request #70 by nijel (2013-03-04 15:26:35+00:00)
Title: Use shorter name for Czech republic

All other countries are rendered with short name, so should be Czech
republic (though it is not yet that widely used name).