Dresden Government Region — government district of Dresden in Germany