tjenstemän , som icke hafva pensionsrätt i nämda pensionsinrättning , t. ex. borgmästare i städerna , dock måste anses såsom civile tjenstemän.