Deleted old file
Was not properly renamed in ec7542dec6d4224233834b3fbad98013338d5bcc and
therefore leftover