Meet Astrid and Otto Rot, or Die Roten Punkte (the Red Dots), the “German rock band” whose musical tales of burger store dinosaurs, robots who…