funktionsbeteiligte redundanz