Lost tf2 maps

so im looking for these maps

trade_fligugigu
achv_idle_4chan_fixed
also both maps where on this server internetfunmachine.net/

and both of them are in this vid both maps on tier 6 www.youtube.com/watch?v=z5nLt7ekUPk