Rotationskolbenverdichter (Nomen)