25,400 „ „ d:o „ Amsterdam.