pseudocode gekürzt