locally convex direct sum - Deutsch Englisch Wörterbuch