Arthothelium puniceum Müll.Arg. legitimate = Ocellularia cruentata (Mont.) Hafellner & Magnes