Riverside-Gruppe akquiriert die Tecsedo SA.