Karlstein eller — såsom ungtjecherna något godtyckligt ändrat namnet — Karluv Tyn.