gmaszysko (Polish) comes from Polish gmach, from Middle High German gemach, from Old High German gimah.