Murbach (D), Zum Grenzstein