Pilsner as name variant for Pilzno?