potocznie: dodatkowa pensja dla górników z okazji Barbórki; barbórka