Dunno who added German in the language field. It's been there for ages and I suspect is just a legacy of the early HOL days when QA wasn't as stringent. Anyway, I've removed it from the language field and while I was at it overhauled the HOL entry for Starglider:
http://hol.abime.net/2108