"direct sum" Deutsche bedeutung