Worst-Case Optimal Multi-Armed Gaussian Best Arm Identification with a Fixed Budget