@alwayscurious trademark law is complicated: there are implicit marks, and registered marks.
implicit marks are automatic, so yes, alpine has an implicit trademark based on the fact that it has been operating with the marks since 2006.
you are asking about registered marks, however. at this time, alpine does not have a registration anywhere for the marks.
i have proposed using some of the alpine collective money to register the marks, but that would only impact the scope of legal damages that could be awarded to the project: gerhard is already breaking the law by impersonating the project regardless.
unfortunately, it does not matter if we get triple damages or not, as my understanding is that gerhard does not have any resources that could be used to pay them.
we just want him to stop using the alpine name and marks as part of his alt-right advocacy.