Irene ( a » , Wilkens , Amsterdam,