Erfurt District — district of East Germany