Schlüsselkonstruktorwerkzeuge auf einer Flagge der Vereinigten Staaten von Amerika am Werktag sind ein Bundesfeiertag