zur Auslegung nach Treu und Glauben BGer 5A_705/2013 E. 6.2.3; zum Verbot des überspitzten Formalismus BGE 142 I 10 E. 2.4.2 f.).