@kirschner 460M€ => Senior Dev is about 100k€. This equals about 5000 Senior Devs, full time.

I bet that amount of devs would make a lot of really, really good software.