@marcoarment@mastodon.social It's about three trillion US dollars. But you should ask for more, as needed to motivate actually doing it. 😈