The word bonus is a bad translation. Salary in austria is split into 14 parts.
12 monthly paychecks + one paycheck for summer holiday and one for christmas. So juli and november you get double the amount you get the other months. None of this is “optional” or a “bonus”, its simlpy how the law works in austria.