quick-select the right option from a large dropdown with timezones

gistfile1.md

1. Select select-element in dev tools
2. execute:

var options = $0.options;

for(var i=0; i<options.length; i++) {
  if(options[i].text.match(/berlin/i)) {
    options[i].selected = true;
  }
}