It was killed since it was repeatedly observed less than a meter away from a path the kids run along like 50 times a day and we were unable to catch it alive. A great personal failure on my part. My relatives are very scared of snakes, especially adders and especially since you can't really expect 4-year-olds to watch out for snakes.
A real shame indeed, beatiful dark bluish grey coloring, even my sister's son thought it was beautiful.
We gave it a proper burial. Never really got the idea of having animals mounted, it's not like it's a hunting trophy and even then it's largely symbolic, you don't generally keep the entire animal, just the tusks, the skull, the antlers or horns.
I'd love to have a
V. berus just like that one, but wildcaught are a pain in the arse to keep and captive bred ones are rare. And I still don't know what kind of permits are required for keeping native species. I just wonder how big the difference is between captive bred and captive born ones.