What is the population of the federal state in which Lauterhofen is located ?