$HIGH Ist es Zeit, short zu gehen?