Probabilistic Programming and the German Tank Problem