Na podstawie artykułu: "Mravenečník (Wysoki Jesionik)" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy