Gender Mainstreaming in Gewerkschaften. Eine mikropolitisch inspirierte Untersuchung im Arbeitsalltag der Vereinten Dienstleistungsgewerkschaft ver.di