Känns som en stor missad möjlighet att Tjeckien inte döpte sig till Böhmen.