Prominente beurs Gemini heeft naar verluidt 7% van zijn personeel ontslagen