如何实现仅保留文本文件指定开头行的C#程序及代码优化建议

我最近在编写一个程序，用来读取文本文件的所有行，只保留以Line 1:、Line 2:这类带数字序号前缀的行——同时还适配了德语的Zeile X:和西班牙语的Linea X:格式。

感谢各位的建议，以下是最终可用的代码：

//PROCEDURE
private void Procedure() {
 // READ AND APPEND LINES
 var file_path = @"Tags.txt";
 var sb = new StringBuilder();
 foreach (var line in File.ReadLines(file_path)) {
 if (Regex.IsMatch(line, @"^Line\s+[0-9]+:") || (Regex.IsMatch(line, @"^Zeile\s+[0-9]+:") || (Regex.IsMatch(line, @"^Linea\s+[0-9]+:")))) {
 sb.AppendLine(line);
 }
 }
 // SAVE BACK
 File.WriteAllText(file_path, sb.ToString());
}
private void btnRefine_Click(object sender, RoutedEventArgs e) {
 Procedure();
}

欢迎大家提出代码改进意见，比如优化正则表达式写法、提升处理大文件的性能，或者增强代码可读性的建议~

内容的提问来源于stack exchange，提问作者user11717007