20100627 unknown: What is Germany's official name?