sedlar , of dem 400000 kr.