Arthonia huegelii Nyl. legitimate = Arthothelium huegelii (Nyl.) Zahlbr.