würde die note 3.415 im Zeugnis aufgerundet oder abgerundet?