Part of 'Gauß-Verfahren'.