profilesorensatz (152.084)