Title: Eine klassen-definierende höherstufige Attributenlogik