what is the total market value of all corporations headquartered in germany?
1.0