El distrito se denomina también como "Mühlenkreis".