Someone was talking in the hallway about the imminent Germany vs. Turkey soccer game, and I quote: "That's what this is for" (waving a time-off form). Apparently, some people are taking a few hours' vacation in the middle of the day today to watch the game.
I kid you not.
(I suppose this is one good thing about the current shutdown.)
 
I love this place; the people who work here have personality.