definition senkrechte