Halle District - district of East Germany