סך המניות בידי הציבור של JDC Group AG.