Insgesamt dürften es 7 Gilden sein.