A German joke doesn’t have to be funny.