https://www.dict.cc/deutsch-englisch/Mir+ist+nicht+entgangen+dass.html