Amsterdam » 1157 , c.