Select specific postal_code

So the "ask first, the sign up" did not work for me.

The wiki for boundary:postal_code links to overpass turbo with the following query:

/*
This query looks for nodes, ways and relations 
with the given key/value combination.
Choose your region and hit the Run button above!
*/
[out:json][timeout:25];
// gather results
(
  // query part for: “boundary=postal_code”
  node["boundary"="postal_code"]({{bbox}});
  way["boundary"="postal_code"]({{bbox}});
  relation["boundary"="postal_code"]({{bbox}});
);
// print results
out body;
>;
out skel qt;

It shows all ZIP code boundaries visible on the map How can I filter for one specific code by adding postal_code=12345?