A título de comparación cabe notar que la misma ciudad de Wurzburgo tenía en esa época alrededor de 5.000 habitantes.