511th heavy tank battalion (Germany)