Weißenfels District - former district in Saxony-Anhalt, Germany