[math-fun] German beer puzzle