Rubus favonii (=Rubus neumannianus): Belege aus dem Herbar Jansen