====== subsumieren ======