AGG verfügte Ausschluss ist daher verhältnismässig und hält vor dem Verbot des überspitzten Formalismus stand.