Jahrtag der Gebirgschützenkompanie Tegernsee am 13. Oktober 2018