Hradec now exists on the map

https://www.openstreetmap.org/user/jcurl/diary/3063