grep -E '^.{11,14}$' datei.txt