hopp ( hlaup ).