ctrl- (voor onze pc-gebruikers)