den store ( 1157 ).