I always thought it was Betterkarspitze. Need to look it up ...
There is a Betterkarspitze (2267 m), too, located near Urbeleskarspitze / Bretterspitze in the southernmost Allgäu range. Our Karwendel peak here is for sure BettLerkarspitze.
...Bettlerkarspitze and Schaufelspitze, Michael! Thanks a lot!
Thank you for the vote + comment; Michael