Rechercheplattform „Addendum“ wird eingestellt