Mengenklammern ergänzt