Playing Dobrovský