"left distributivity" Deutsche bedeutung