We kindly thank Alexander Smirnov for providing us with the development
version of FIRE. We also thank Joshua Davies for many useful hints on
the efficient treatment of large expressions with FORM. Furthermore, we
are grateful to Paolo Gambino for useful comments to the manuscript. Feynman
diagrams were drawn with the help of Axodraw [1]} and
JaxoDraw [2]}. This research was supported by the Deutsche
Forschungsgemeinschaft (DFG, German Research Foundation) under grant 396021762
— TRR 257 “Particle Physics Phenomenology after the Higgs Discovery”.
