An alternative to compulsory vaccination at the workplace