"Sankt Michaelisdonn (umgangssprachlich fast immer Sankt Michel) ist eine Gemeinde im Amt Burg-Sankt Michaelisdonn im Kreis Dithmarschen in Schleswig ..." wikipedia.org
"Eddelak-Sankt Michaelisdonns amt (tysk: Amt Kirchspielslandgemeinde Eddelak-Sankt Michaelisdonn) var et amt i kretsen Ditmarsken i delstaten Schleswig ..." wikipedia.org