Modified <Leader> key for German keyboard layout