Used in the Eastern Front of the World War II, which German siege mortar was the largest gun ever built?