"complete direct sum" Deutsche bedeutung