en förkortning af deninledande