Den ordinarie manliga personalenutgjordes