Büchenberg on Ilmenau map