OpenLayers: How to obtain the zoom level set by the user

[whb]

Maybe:
map.getView().getZoom()

https://openlayers.org/en/latest/apidoc/module-ol_View-View.html#getZoom