Hornungia petraea (L.) Rchb., Deutschl. Fl. 1: 33. 1837