Gernot - male given name