Allemagne (République démocratique)