Available in English BIT between the Czech Republic and the Democratic People´s Republic of Korea in English