Arrondissement de Mühlhausen (1952-1994)