Сколько сортов пива производится в Германии?