short heisst jetzt cutoff

Variablenname <short> ist unguenstig, weil wir auch
eine lfun haben, die so heisst.

Change-Id: Ic3af36a6e32d8cd63077a615b9e675ce9a0c0343
1 file changed