Régimen de funcionarios en la República democrática alemana