RAUMSCHIFF EXPLORER instruction 12