Die mathematischen Grundlagen für die Organisation der elektronischen Rechenmaschine der Eidgenössischen Technischen Hochschule