Wie viel Geld des BIP Griechenlands kommen in das Militär?