text: Seligenstadt had its first documentary mention on 11 January 815 in a donation document , under its then current name of ObermÃ 1\/4 hlheim .
simplified: In 815 the name ObermÃ 1\/4 hlheim was written down in a document for the first time .