Costs and benefits of a bicycle helmet law for Germany