Mravín - населенный пункт в до заключения Сен-Жерменского договора, который принадлежал к и находился в административном районе Hohenmauth.
Mravín ранее принадлежал к Германской империи. В составе Германской империи населенный пункт назывался Mravín. Сейчас населенный пункт называется Mravín и принадлежит к Чехословакия.