25 ; d:o på Amsterdam Diskonto 4 * /.