====== trivialisieren ======