RICOH erwirbt Gesellschaftsanteil am DFKI