[5.0.42][core] added new area codes for Germany (Bundesnetzagentur Update 2013)