subsummierung