Es gibt aber nun doch mehr oder weniger triviale Ersetzungen & Abkürzungen!