Nach stindiger Rechtsprechung des Bundesgerichts gilt der Methodenpluralismus und folgende Auslegungsregeln (vgl. statt vieler BGE 143 lll 385 E' 4):