No battles were found that tyrolkongen have participated in