cf. benutzen, benützen benützen.