Also known as Kecamatan Banjarmangu, Banjarmangu District, Banjar Mangu
district in Banjarnegara Regency, Central Java Province, Indonesia
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).