[german translation] "Favorit" renamed to "Hervorhebung" to match star

I am not sure if "Hervorhebung" is a better german word for "star". Perhaps not needed if github/android#544 is implemented. Another option would be to use no translation, as the website is not translated either.