Over 500 German government agencies using open source