a) soudem při provádění výkonu rozhodnutí podle občanského soudního řádu,