Navigationssystem Galileo wird 10 Milliarden Euro kosten